A shell theory with scale effects and higher order gradients
نویسندگان
چکیده
منابع مشابه
Es: A shell with higher-order functions
In the fall of 1990, one of us (Rakitzis) re-implemented the Plan 9 command interpreter, rc, for use as a UNIX shell. Experience with that shell led us to wonder whether a more general approach to the design of shells was possible, and this paper describes the result of that experimentation. We applied concepts from modern functional programming languages, such as Scheme and ML, to shells, whic...
متن کاملvalidation of a revised logical-mathematical intelligence scale and exploring its relationship with english language proficiency
نظریه هوش چندگانه قسمتهای متفاوت هوش بشری را مورد بررسی قرار می دهد که با شناخت آن شخص به درک بهتری از توانایی های خود میرسد و در نتیجه سعی در استفاده از آن جهت یادگیری بهتر میکند. همچنین با شناخت استعداد دانش آموزان، فرایند یادگیری بهتر میشود. هدف از انجام دادن این تحقیق بررسی رابطه بین هوش ریاضی و استعداد یادگیری زبان انگلیسی میباشد. برای انجام این تحقیق از پرسشنامه هوش ریاضی که توسط شیرر در ...
Decision Theory with Higher Order
In existing models of decision under uncertainty where the decision maker may have multiple beliefs (vague beliefs) the different beliefs are not distinguished by their degree of reliability. This paper extends the model of vague beliefs in this direction: the decision maker may have multiple beliefs, but also has a complete order over them (a belief over his own beliefs, or higher order belief...
متن کاملOn the Buckling the Behavior of a Multiphase Smart Plate based on a Higher-order Theory
Magneto-electro-elastic materials are multiphase smart materials that exhibit coupling among electrical, magnetic and mechanical energy fields. Due to this ability, they have been the topic of numerous research in the past decade. In this paper, buckling behavior of a multiphase magneto-electro-elastic rectangular plate with simply supported boundary conditions is investigated, based on Reddy’s...
متن کاملA Higher-Order Calculus and Theory Abstraction
We present a higher-order calculus ECC which naturally combines Coquand-Huet's calculus of constructions and Martin-LL of's type theory with universes. ECC is very expressive, both for structured abstract reasoning and for program speciication and construction. In particular , the strong sum types together with the type universes provide a useful module mechanism for abstract description of mat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Solids and Structures
سال: 2013
ISSN: 0020-7683
DOI: 10.1016/j.ijsolstr.2013.03.031